$\forall$$T$:Type\{i\}, $S$:($\mathbb{N}\rightarrow$($\mathbb{N}\rightarrow$$T$)$\rightarrow\mathbb{P}$\{i'\}).
\\[0ex]($\forall$$i$:$\mathbb{N}$. generic\{i:l\}($T$; $x$.$S$($i$,$x$))) $\Rightarrow$ generic\{i:l\}($T$; $x$.($\forall$$i$:$\mathbb{N}$. $S$($i$,$x$)))